particular proposition
Học thuậtThân thiện
Definition
- Noun (Logic):
- A particular proposition is a statement in logic that asserts a property or relationship holds for at least one member of a class, but explicitly not for all members. It is a type of categorical proposition that is particular in quantity and can be either affirmative or negative.
Usage
- In formal logic and syllogistic reasoning, a particular proposition is one of the four standard forms of categorical propositions, contrasting with a universal proposition.
- It is used to make a claim about some, but not necessarily all, of the members of a category.
Examples
- Noun:
- "Some mammals are aquatic" is a particular proposition because it affirms a property for some members of the class "mammals."
- The statement "Some politicians are not corrupt" is a negative particular proposition.
Advanced Usage
- In the classical square of opposition, the particular proposition forms "Some S are P" (particular affirmative, or I proposition) and "Some S are not P" (particular negative, or O proposition) have specific logical relationships with universal propositions (A and E).
- A valid syllogism requires careful attention to whether its premises are universal or particular propositions.
Variants and Related Words
- Particular Affirmative (I Proposition): The standard form "Some S are P."
- Particular Negative (O Proposition): The standard form "Some S are not P."
- Universal Proposition: A statement that asserts something about all members of a class (e.g., "All S are P" or "No S are P").
Synonyms
- Existential Statement (in some philosophical contexts, though this can have a broader meaning).
- Non-universal Proposition.
Related Terms and Concepts
- Categorical Proposition: The general class of statements to which particular propositions belong.
- Square of Opposition: A diagram representing the logical relationships (contradiction, contrariety, subcontrariety, subalternation) between universal and particular propositions.
- Distribution of Terms: In a particular proposition, the predicate term is not distributed (i.e., the statement does not refer to all members of the predicate class).
Noun
- (logic) a proposition that asserts something about some (but not all) members of a class